Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 005589 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
| 006B43 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] | Refining Mobile UML State Machines |
| 007B09 | Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Júlia Zappe [Allemagne] | A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems |
| 00E375 | Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin Wirsing | Algebraic specifications of reachable higher-order algebras |
| 00ED04 | Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne] | On hierarchies of abstract data types |
| 00ED77 | Manfred Broy [Allemagne] ; Martin Wirsing [Allemagne] | Partial abstract types |
| 00ED91 | Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne] | An Analysis of Semantic Models for Algebraic Specifications |
| This area was generated with Dilib version V0.6.33. |  |